Homotopy Branching Space and Weak Dihomotopy
نویسندگان
چکیده
The branching space of a flow is the topological space of germs of its nonconstant execution paths beginning in the same way. However, there exist weakly Shomotopy equivalent flows having non weakly homotopy equivalent branching spaces. This topological space is then badly behaved from a computer-scientific viewpoint since weakly S-homotopy equivalent flows must correspond to higher dimensional automata having the same computer-scientific properties. To overcome this problem, the homotopy branching space of a flow is introduced as the left derived functor of the branching space functor from the model category of flows to the model category of topological spaces. As an application, we use this new functor to correct the notion of weak dihomotopy equivalence, which did not identify enough flows in its previous version.
منابع مشابه
The Homotopy Branching Space of a Flow
In this talk, I will explain the importance of the homotopy branching space functor (and of the homotopy merging space functor) in dihomotopy theory.
متن کاملInverting Weak Dihomotopy Equivalence Using Homotopy Continuous Flow
A flow is homotopy continuous if it is indefinitely divisible up to S-homotopy. The full subcategory of cofibrant homotopy continuous flows has nice features. Not only it is big enough to contain all dihomotopy types, but also a morphism between them is a weak dihomotopy equivalence if and only if it is invertible up to dihomotopy. Thus, the category of cofibrant homotopy continuous flows provi...
متن کاملA Dihomotopy Double Category of a Po - Space Extended
We introduce a dihomotopy invariant of a po-space in dimension 2, its dihomotopy double category. This is a generalisation both of the fundamental category of a pospace, and of the double homotopy groupoid of a topological space. We conjecture a van Kampen theorem for the dihomotopy double category, thus making available a tool for calculations.
متن کاملFlow does not Model Flows up to Weak Dihomotopy
We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are given to overcome this problem. In particular, a new approach of dihomotopy involving simplicial presheaves over an appropriate small category is proposed. This small category is obtained by taking a full subcategory of ...
متن کاملT-homotopy and Refinement of Observation (ii) : Adding New T-homotopy Equivalences
This paper is the second part of a series of papers about a new notion of T-homotopy of flows. It is proved that the old definition of T-homotopy equivalence does not allow the identification of the directed segment with the 3-dimensional cube. This contradicts a paradigm of dihomotopy theory. A new definition of T-homotopy equivalence is proposed, following the intuition of refinement of obser...
متن کامل